Reasoning about Actions for e-Service Composition
نویسندگان
چکیده
Composition of e-Services is the issue of synthesizing a new composite e-Service, obtained by combining a set of available component e-Services, when a client request cannot be satisfied by available e-Services. In this paper we study the problem of composition synthesis in a general framework. We consider e-Services as arbitrary (possibly infinite) execution trees, i.e., as trees of all potential interactions with clients, and characterize composition in this abstract setting. We then show how this setting can be realized using Reasoning About Actions, in particular reasoning in Situation Calculus, and exploiting a correspondence with Deterministic Propositional Dynamic Logic, we provide automated procedures and complexity results for performing composition.
منابع مشابه
Reasoning About Interaction Protocols for Web Service Composition
In this work, we face the problem of web service composition, arguing the importance of the inclusion, in a web service description, of the high-level communication protocol used by a service to interact with a client. The work is set in the same multi-agent research area from which DAMLS is derived: reasoning about actions and about the change produced by actions on the world. In this perspect...
متن کاملReasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of automatic selection and composition of web services, discussing the advantages that derive from the inclusion, in a web service declarative description, of the high-level communication protocol, that is used by the service for interacting with its partners, allowing a rational inspection of it. The approach we propose is set in the Semantic Web field of research a...
متن کاملCARSA: A context-aware reasoning-based service agent model for AI planning of web service composition
In order to achieve automatic and more intelligent service composition, dynamic description logic (DDL) is proposed and utilized as one emerging logic-level solution. However, reasoning optimization and utilization in such DDL-related solutions is still an open problem. In this paper, we propose the context-aware reasoning-based service agent model (CARSA) which exploits the relationships among...
متن کاملCustomizing the Composition of Actions, Programs, and Web Services with User Preferences
Web service composition (WSC) – loosely, the composition of web-accessible software systems – requires a computer program to automatically select, integrate, and invoke multiple web services in order to achieve a user-defined objective. It is an example of the more general task of composing business processes or component-based software. Our doctoral research endeavours to make fundamental cont...
متن کاملGDP Festschrift ENTCS , to appear Protocol Composition Logic ( PCL )
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a process calculus with actions for possible protocol steps including generating new random numbers, sending and receiving messages, and performing decryption and digital signature verification actions. The proof system con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003